Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
391	AISB Journal The Interdisciplinary Journal of Artificial Intelligence and the Simulation of Behaviour Volume 1 – Number 3 – July 2003 Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2009-11-25 04:40:20 Applied mathematics Computability theory Alan Turing Models of computation Hypercomputation Turing machine Computability Cellular neural network Neural network Computer science Theoretical computer science Theory of computation
392	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
393	Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email: Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:04 Systems theory Knowledge Signal processing Automata theory Models of computation Discrete mathematics Discrete system Model checking Signal Science Cybernetics Applied mathematics
394	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
395	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
396	Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:13 Computability theory Computer science Alan Turing Models of computation Computability Halting problem Church–Turing thesis Description number Non-deterministic Turing machine Turing machine Theory of computation Theoretical computer science
397	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
398	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
399	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2012-08-02 17:50:31 Complexity classes Computability theory Theory of computation Pseudorandomness Models of computation Obfuscated code Oracle machine Algorithm P Theoretical computer science Computational complexity theory Applied mathematics
400	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory

UPDATE